digraph G {
margin=0.1;
  l [label=<sleep<BR/><FONT COLOR="red">rt</FONT>>];
  o [label=<<FONT COLOR="red">S</FONT>>];
  l -> o [label="ARG0"];
}